Пошуковий запит: (<.>A=Толстолужский Д$<.>) |
Загальна кількість знайдених документів : 11
Представлено документи з 1 до 11
|
1. |
Поляков Г. А. Проблемы многоверсионного проектирования высоконадежных параллельных программных средств для систем управления критическими технологиями и объектами [Електронний ресурс] / Г. А. Поляков, В. В. Скляр, Д. А. Толстолужский, Е. Г. Толстолужская, В. С. Харченко // Радіоелектронні і комп’ютерні системи. - 2006. - № 7. - С. 7–16. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2006_7_3 Рассмотрены основные проблемы проектирования высоконадежных программных средств для систем управления критическими технологиями и системами, состав и семантика задач в рамках отдельных проблем, обсуждены возможные подходы к проектированию высоконадежного программного обеспечения, основанные (в отличие от известных подходов) на концепциях многоверсионности программных средств, множественности методов параллельной обработки, автоматического проектирования параллельных программ и учета предъявляемых к системам управления временных требований, требований к достоверности и ограничений на сложность средств реализации.
|
2. |
Поляков Г. А. Оценка диапазона изменения эффективности параллельных временных моделей алгоритмов [Електронний ресурс] / Г. А. Поляков, Е. Г. Толстолужская, Д. А. Толстолужский // Радіоелектронні і комп’ютерні системи. - 2005. - № 3. - С. 106–114. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2005_3_21
|
3. |
Поляков Г. А. Методика комплексной семантико - числовой верификации си программ и их временных параллельных моделей [Електронний ресурс] / Г. А. Поляков, Д. А. Толстолужский // Радіоелектронні і комп’ютерні системи. - 2009. - № 7. - С. 240–244. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2009_7_44
|
4. |
Толстолужский Д. А. Автоматизация верификации временных мультипараллельных аппаратно-программных средств [Електронний ресурс] / Д. А. Толстолужский // Радіоелектронні і комп’ютерні системи. - 2010. - № 5. - С. 99–103. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_5_16 Приведена архитектура (Hard&Soft верификатора) временных мультипараллельных аппаратно-программных средств. Использованы следующие исходные данные: Си - программа и граф задачи, семантико-числовая спецификация Си - программы, временная (мульти)параллельная модель задачи, различные методы параллельной обработки данных, спецификация единиц размерности, длительности выполнения операций/функций. Состав поддерживаемых методов верификации: компиляционная верификация, декомпиляционная верификация, семантическая верификация. Отмечено, что представленную архитектуру Hard&Soft - верификатора можно рассматривать как основу создания инструментальных средств автоматического контроля достоверности и визуализации результатов самоорганизации архитектуры Адаптивной Самоорганизующейся Вычислительной Системы.
|
5. |
Поляков Г. А. Модель фрагментации времяпараметризованных параллельных ресурсно-ориентированных процессов [Електронний ресурс] / Г. А. Поляков, Е. Г. Толстолужская, Д. А. Толстолужский // Системи обробки інформації. - 2014. - Вип. 2. - С. 198-204. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2014_2_43 Раскрыты этапы решения задачи фрагментации времяпараметризованных параллельных ресурсно-ориентированных процессов в интересах создания систем автоматического синтеза высокоэффективных параллельных программ для вычислительных систем с распределенной памятью. Приведен иллюстрирующий пример.
|
6. |
Поляков Г. А. Метод синтеза параллельно-декомпозиционных моделей алгоритмов для высокодинамичных критических систем [Електронний ресурс] / Г. А. Поляков, Е. Г. Толстолужская, Д. А. Толстолужский // Системи обробки інформації. - 2007. - Вип. 4. - С. 96-102. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2007_4_29 Рассмотрены результаты решения задачи синтеза параллельно-декомпозиционных моделей алгоритмов при задании требований к тактовой частоте или величине такта, элементной базе и отсутствии ограничений на сложность аппаратной или программной реализации модели. Описана методология, использующая при построении параллельных моделей алгоритмов метод совмещения операций, декомпозиционную обработку и кодово-матричный метод, либо некоторую комбинацию этих методов, адекватную системе требований и ограничений и временным параметрам элементной базы.
|
7. |
Полещук А. П. Исследование спектров локальных мышечных перемещений при коррелированных и некоррелированных изометрических мышечных контрактациях [Електронний ресурс] / А. П. Полещук, А. С. Матченко, И. В. Скресанова, Д. А. Толстолужский, Е. А. Баранник // Біофізичний вісник. - 2012. - Вип. 28. - С. 48-59. - Режим доступу: http://nbuv.gov.ua/UJRN/bifv_2012_28_8
|
8. |
Толстолужский Д. А. Метод синтеза Си-программ смеси алгоритмов [Електронний ресурс] / Д. А. Толстолужский, Е. Г. Толстолужская, Г. А. Поляков // Системи обробки інформації. - 2008. - Вип. 1. - С. 96-100. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2008_1_27
|
9. |
Толстолужский Д. Б. История одного проекта [Електронний ресурс] / Д. Б. Толстолужский // Упаковка. - 2015. - № 4. - С. 47-49. - Режим доступу: http://nbuv.gov.ua/UJRN/Upakovka_2015_4_19
|
10. |
Толстолужский Д. Б. Экономика цифровой печати [Електронний ресурс] / Д. Б. Толстолужский // Упаковка. - 2015. - № 5. - С. 42-45. - Режим доступу: http://nbuv.gov.ua/UJRN/Upakovka_2015_5_14
|
11. |
Толстолужский Д. Б. Как правильно выбрать технологию цифровой печати? [Електронний ресурс] / Д. Б. Толстолужский // Упаковка. - 2015. - № 1. - С. 49-53. - Режим доступу: http://nbuv.gov.ua/UJRN/Upakovka_2015_1_14
|